Hide and Seek with LLMs: An Adversarial Game for Sneaky Error Generation and Self-Improving Diagnosis
arxiv.org·1d
✓Automated Theorem Proving
My blog on zero-knowledge cryptography
kaw101010.github.io·8h·
Discuss: Hacker News
🛡️seL4
AI Plays Risk – Lessons from a silly benchmark
andreasthinks.me·18h·
Discuss: Hacker News
🔬Static Analysis
How the Lean language brings math to coding and coding to math
amazon.science·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Minimize AI hallucinations and deliver up to 99% verification accuracy with Automated Reasoning checks: Now available
aws.amazon.com·17h·
Discuss: Hacker News
✓Automated Theorem Proving
Generating Inputs for Grammar Mining using Dynamic Symbolic Execution
arxiv.org·5h
🐫OCaml
GeRe: Towards Efficient Anti-Forgetting in Continual Learning of LLM via General Samples Replay
arxiv.org·5h
🐫OCaml
SAT Requires Exhaustive Search
link.springer.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Three challenges in machine-based reasoning
amazon.science·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Vibe Coding the MIT Course Catalog
stackdiver.com·14h·
Discuss: Hacker News
✓Automated Theorem Proving
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·3d·
Discuss: Hacker News
🐫OCaml
Eliciting and Analyzing Emergent Misalignment in State-of-the-Art Large Language Models
arxiv.org·5h
✓Automated Theorem Proving
Frequency Point Game Environment for UAVs via Expert Knowledge and Large Language Model
arxiv.org·1d
✓Automated Theorem Proving
When Claude Code Did a Volkswagen on Me
blog.alexsanjoseph.com·1d·
Discuss: Hacker News
👁️System Observability
Light-IF: Endowing LLMs with Generalizable Reasoning via Preview and Self-Checking for Complex Instruction Following
arxiv.org·1d
✓Automated Theorem Proving
Grok 4 Dominates AI Chess Tournament Day 1
chess.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Testing PowerSync with Jepsen for Causal Consistency and More
github.com·13h·
Discuss: Hacker News
👁️System Observability
Automated Generation of Curriculum-Aligned Multiple-Choice Questions for Malaysian Secondary Mathematics Using Generative AI
arxiv.org·5h
✓Automated Theorem Proving
Chess Principles
mahdikarimi.com·11h·
Discuss: Hacker News
🧪Property-Based Testing
We went from unauthenticated to arbitrary RCE in CyberArk Conjur
cyata.ai·1h·
Discuss: Hacker News
🌐NetworkProtocols